Buy Used and New Márcio Cornélio Books

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526 (Lecture Notes in Computer Science)

by Márcio Cornélio, Bill Roscoe

ISBN 13: 9783319294728

Format: Paperback (216 pages)
Publisher: Springer
Published: 03 Feb 2016

Save for later